menu shell: Use standard padding
authorMatthias Clasen <mclasen@redhat.com>
Mon, 27 May 2019 03:13:55 +0000 (23:13 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Mon, 27 May 2019 03:13:55 +0000 (23:13 -0400)
commite57da008244f78c707774b7e28f2d2ec0c275dad
tree307af2cc174c1e5e46e6722d6a6b68656768e416
parenta62a7ab2824b30c599777037a3352ec905457034
menu shell: Use standard padding
gtk/gtkmenushell.h